Fixpoint operators for domain equations
نویسندگان
چکیده
منابع مشابه
Fixpoint operators for domain equations
We investigate /xpoint operators for domain equations. It is routine to verify that if every endofunctor on a category has an initial algebra, then one can construct a /xpoint operator from the category of endofunctors to the category. That construction does not lift routinely to enriched categories, using the usual enriched notion of initiality of an endofunctor. We show that by embedding the ...
متن کاملOn Solving Nominal Fixpoint Equations
In nominal syntax, variable binding is specified using atomabstraction constructors, and alpha-equivalence is formalised using fresh-ion constructors, and alpha-equivalence is formalised using freshness constraints and atom swappings, which implement variable renamings. Composition of swappings gives rise to atom permutations. Algorithms to check equivalence, match and unify nominal terms have ...
متن کاملFPsolve: A Generic Solver for Fixpoint Equations over Semirings
We introduce FPsolve, an implementation of generic algorithms for solving fixpoint equations over semirings. We first illustrate the interest of generic solvers by means of a scenario. We then succinctly describe some of the algorithms implemented in the tool, and provide some implementation details.
متن کاملStrong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation
Standard abstract model checking relies on abstract Kripke structures which approximate the concrete model by gluing together indistinguishable states. Strong preservation for a specification language L encodes the equivalence of concrete and abstract model checking of formulas in L. Abstract interpretation allows to design abstract models which are more general than abstract Kripke structures....
متن کاملMigrativity equations and Mayor's aggregation operators
There has been a growing interest in the study of the notion of $alpha$-migrativity and generalizations in recent years, and it has been investigated for families of certain operators such as t-norms, t-conorms, uninorms, nullnorms.This paper is mainly devoted to investigating the migrativity equations between semi-t-operators or semi-uninorms, and Mayor's aggregation operators. The results tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00341-8